『Coherence in Three-Dimensional Category Theory』
https://gyazo.com/ae20db4ecad51fd7f5a29ce3103a757a
Nick Gurski, Coherence in Three-Dimensional Category Theory, Cambridge University Press
from: 『高次元圏入門』
HoTTの参考文献としていいらしい。
HTTとは…？
カーリルで検索してもなかった
確認用
Q. 『Coherence in Three-Dimensional Category Theory』
参考
関連
『Homotopy Type Theory 入門』
#本 #圏論